Code Matt を用いた Behavioral Code Analysis